数列中 aₙ, aₙ₊₁, Sₙ, Sₙ₊₁ 之间关系的系统解析

本文定位

本笔记适合放在「数列」「高中数学」「竞赛基础」等文件夹，系统整理：

• aₙ 与 aₙ₊₁ 的递推关系
• Sₙ 与 Sₙ₊₁ 的关系
• Sₙ 与 aₙ 的关系与互相转化
  并配合典型例题，形成一套“数列差分思维”的工具箱。

---

1. 基本记号与差分思想

• 数列：$\lbrace a_n\rbrace $
• 前 $n$ 项和：

$$ S_n = a_1 + a_2 + \cdots + a_n $$

差分的核心关系

$$

S_n - S_{n-1} = a_n \quad (n \ge 2) $$

这是所有 “Sₙ 与 aₙ 互相转化” 的起点。

---

2. aₙ 与 aₙ₊₁ 关联：递推数列

2.1 一般形式

常见递推形式：

$$ a_{n+1} = f(n, a_n),\quad n \ge 1. $$

特别重要的一类：线性递推：

$$ a_{n+1} = p a_n + q,\quad p, q 为常数. $$

---

2.2 线性递推的通项求解（经典模型）

考虑：

$$ a_{n+1} = p a_n + q,\quad n \ge 1. $$

解法思路

1. 先解齐次方程：$a_{n+1} = p a_n$
2. 再找一个特解
3. 叠加得到通解

2.2.1 齐次部分

$$ a_{n+1}^{(h)} = p a_n^{(h)} \Rightarrow a_n^{(h)} = C p^{n-1}. $$

2.2.2 特解部分

若 $p \neq 1$，可设常数特解 $a_n^{(p)} = A$，代入：

$$ A = pA + q \Rightarrow A(1 - p) = q \Rightarrow A = \frac{q}{1 - p}. $$

2.2.3 通解

$$ a_n = a_n^{(h)} + a_n^{(p)} = C p^{n-1} + \frac{q}{1 - p}. $$

由初值 $a_1$确定$C$：

$$ a_1 = C + \frac{q}{1 - p} \Rightarrow C = a_1 - \frac{q}{1 - p}. $$

最终：

$$ \boxed{ a_n = \left(a_1 - \frac{q}{1 - p}\right)p^{n-1} + \frac{q}{1 - p} } $$

特殊情况 $p = 1$

此时递推为：

$$

a_{n+1} = a_n + q \Rightarrow a_n = a_1 + (n-1)q $$

即等差数列。

---

2.3 例题 1：简单线性递推

例 1

已知数列 $\lbrace a_n\rbrace $ 满足

$$

a_{n+1} = 2a_n + 3,\quad a_1 = 1. $$

求通项 $a_n$。

解：

这里 $p = 2, q = 3$。

$$ a_n = \left(a_1 - \frac{q}{1 - p}\right)p^{n-1} + \frac{q}{1 - p} = \left(1 - \frac{3}{1 - 2}\right)2^{n-1} + \frac{3}{1 - 2}. $$

注意：

$$ \frac{3}{1 - 2} = -3,\quad 1 - (-3) = 4. $$

所以：

$$ a_n = 4\cdot 2^{n-1} - 3. $$

---

3. Sₙ 与 Sₙ₊₁ 关联：和的递推

3.1 基本关系：Sₙ₊₁ 与 Sₙ

由定义：

$$ S_{n+1} = a_1 + a_2 + \cdots + a_n + a_{n+1} = S_n + a_{n+1}. $$

因此：

$$ \boxed{ S_{n+1} - S_n = a_{n+1} } $$

反向使用

若题目给出 $S_{n+1}$与$S_n$ 的关系，可以通过

$$

a_{n+1} = S_{n+1} - S_n $$

先求出 $a_{n+1}$，再分析 $\lbrace a_n\rbrace $。

---

3.2 例题 2：由 Sₙ 的递推求 aₙ

例 2

已知数列 $\lbrace S_n\rbrace $ 满足

$$

S_{n+1} = 2S_n + 1,\quad S_1 = 1. $$

设 $S_n$为某数列$\lbrace a_n\rbrace $的前$n$项和，求$a_n$。

解：

1. 先把 $\lbrace S_n\rbrace $ 看作一个数列，求其通项。
   递推：

$$ S_{n+1} = 2S_n + 1 $$

这是与前面同型的线性递推，得到：

$$ S_n = \left(S_1 - \frac{1}{1 - 2}\right)2^{n-1} + \frac{1}{1 - 2} = (1 + 1)2^{n-1} - 1 = 2^n - 1. $$

2. 利用

$$ a_n = S_n - S_{n-1} $$

得：

$$ a_n = (2^n - 1) - (2^{n-1} - 1) = 2^{n-1}. $$

关键步骤

• 把 $S_n$ 当作一个普通数列，先求通项
• 再用差分：$a_n = S_n - S_{n-1}$

---

4. Sₙ 与 aₙ 关联：差分与求和

4.1 从 Sₙ 求 aₙ

最基本公式：

$$ \boxed{ a_n = S_n - S_{n-1},\quad n \ge 2;\quad a_1 = S_1. } $$

这是“求通项”的常用套路

题目给出 $S_n$的表达式，往往是为了让你用差分求$a_n$。

例题 3：已知 Sₙ 求 aₙ

例 3

已知

$$

S_n = n^2,\quad n \ge 1. $$

求数列 $\lbrace a_n\rbrace $ 的通项。

解：

$$ a_n = S_n - S_{n-1} = n^2 - (n-1)^2 = 2n - 1. $$

---

4.2 从 aₙ 求 Sₙ：求和与构造

若已知 $a_n$的通项，求$S_n$ 就是求和问题：

$$ S_n = \sum_{k=1}^n a_k. $$

常见技巧：

• 拆项、配方
• 利用已知求和公式（如 $\sum k, \sum k^2, \sum k^3$）
• 构造差分（“错位相减”）

例题 4：构造差分求和

例 4

已知

$$

a_n = \frac{1}{n(n+1)},\quad n \ge 1. $$

求 $S_n$。

解：

拆项：

$$ a_n = \frac{1}{n} - \frac{1}{n+1}. $$

于是：

$$ S_n = \sum_{k=1}^n \left(\frac{1}{k} - \frac{1}{k+1}\right) = 1 - \frac{1}{n+1}. $$

这是典型的“错位相减”/“望远镜求和”结构。

---

5. aₙ 与 Sₙ 的混合关系：常见题型

5.1 题型 A：给出 aₙ 与 Sₙ 的关系，求 aₙ

常见形式：

$$ S_n = f(n)a_n \quad \text{或} \quad a_n = g(n)S_n. $$

核心思路

利用

$$

S_n - S_{n-1} = a_n $$

把关系转化为关于 $a_n$ 的递推。

---

5.2 例题 5：Sₙ 与 aₙ 的线性关系

例 5

已知数列 $\lbrace a_n\rbrace $ 满足

$$

S_n = 2a_n,\quad n \ge 1. $$

求 $\lbrace a_n\rbrace $ 的通项。

解：

由定义：

$$ S_n = a_1 + a_2 + \cdots + a_n. $$

已知：

$$ S_n = 2a_n. $$

对 $n-1$ 也成立：

$$ S_{n-1} = 2a_{n-1}. $$

利用差分：

$$ a_n = S_n - S_{n-1} = 2a_n - 2a_{n-1}. $$

整理：

$$ 2a_{n-1} = a_n \Rightarrow a_n = 2a_{n-1}. $$

这是一个等比数列递推，设 $a_1 = c$，则：

$$ a_n = c\cdot 2^{n-1}. $$

再用 $S_1 = 2a_1$ 检查：

$$ S_1 = a_1 = 2a_1 \Rightarrow a_1 = 0. $$

于是：

$$ \boxed{a_n = 0,\quad S_n = 0.} $$

说明

这个例子告诉你：

• 关系 $S_n = 2a_n$对所有$n$ 成立时，可能只允许零解。
• 遇到这类题要注意用初值检验。

---

5.3 例题 6：更有趣的关系 Sₙ = n·aₙ

例 6

已知数列 $\lbrace a_n\rbrace $ 满足

$$

S_n = n a_n,\quad n \ge 1. $$

求通项 $a_n$。

解：

对 $n$与$n-1$ 分别写出：

$$ S_n = n a_n,\quad S_{n-1} = (n-1)a_{n-1}. $$

利用差分：

$$ a_n = S_n - S_{n-1} = n a_n - (n-1)a_{n-1}. $$

整理：

$$ n a_n - a_n = (n-1)a_{n-1} \Rightarrow (n-1)a_n = (n-1)a_{n-1}. $$

若 $n > 1$，则：

$$ a_n = a_{n-1}. $$

所以 $\lbrace a_n\rbrace $为常数列，设$a_n = c$。

代回原式：

$$ S_n = nc,\quad n a_n = nc. $$

恒成立，对 $c$ 无限制。

结论

$$

\boxed{a_n = c,\quad S_n = nc,\quad c 为常数} $$

---

6. 三类关系的统一视角：差分算子 Δ

这一节偏抽象，可作为进阶阅读

若你只关心解题技巧，可以先跳过。

定义差分算子：

$$ \Delta a_n = a_{n+1} - a_n. $$

则：

• 已知 $a_{n+1}$与$a_n$的关系 → 关于$\Delta a_n$ 的方程
• 已知 $S_n$与$S_{n+1}$ 的关系：

$$ \Delta S_n = S_{n+1} - S_n = a_{n+1} $$

• 已知 $S_n$与$a_n$ 的关系：
  常常可以通过

$$ a_n = S_n - S_{n-1} $$

转化为关于 $\Delta S_n$ 的方程

类比微积分

• $a_n$类似“导数” → 是$S_n$ 的差分
• $S_n$类似“积分” → 是$a_n$ 的累加

这就是“离散微积分”的基本思想。

---

7. 小结

核心公式与套路

1. aₙ 与 aₙ₊₁：递推
   • 线性递推：$a_{n+1} = p a_n + q$ → 特征法/叠加法
2. Sₙ 与 Sₙ₊₁：差分
   • $S_{n+1} = S_n + a_{n+1}$
   • 若给出 $S_{n+1}$与$S_n$的递推，可先求$S_n$，再差分求 $a_n$
3. Sₙ 与 aₙ：互相转化
   • $a_n = S_n - S_{n-1}$
   • $S_n = \sum_{k=1}^n a_k$
4. 常见题型套路：
   • 已知 $S_n$→ 差分求$a_n$
   • 已知 $a_{n+1}$与$a_n$ → 递推求通项，再求和
   • 已知 $S_n$与$a_n$的关系 → 用$S_n - S_{n-1} = a_n$ 构造递推

---

8. 思考题（可加入你的题库）

1. 已知数列 $\lbrace a_n\rbrace $ 满足

$$ a_{n+1} = 3a_n + 2,\quad a_1 = 1. $$

（1）求 $a_n$；（2）求 $S_n$。

2. 已知某数列的前 $n$ 项和为

$$ S_n = 3n^2 - n. $$

求 $a_n$。

3. 已知数列 $\lbrace a_n\rbrace $ 满足

$$ S_n = 2n + 1,\quad n \ge 1. $$

求 $a_n$，并判断 $\lbrace a_n\rbrace $ 是否为等差数列。

4. 已知数列 $\lbrace a_n\rbrace $ 满足

$$ S_n = a_n^2,\quad n \ge 1. $$

尝试写出关于 $a_n$ 的递推关系，并讨论是否能求出通项。

可以怎么继续扩展？

• 写一篇「差分与离散积分的系统笔记」
• 写一篇「竞赛中常见的数列递推与求和技巧」
• 写一篇「用生成函数处理递推数列」